Cobra: A Tool for Solving General Deductive Games
نویسندگان
چکیده
We propose a general framework for modelling and solving deductive games, where one player selects a secret code and the other player strives to discover this code using a minimal number of allowed experiments that reveal some partial information about the code. The framework is implemented in a software tool Cobra, and its functionality is demonstrated by producing new results about existing deductive games.
منابع مشابه
Strategy Synthesis for General Deductive Games Based on SAT Solving
We propose a general framework for modelling and solving deductive games, where one player selects a secret code and the other player strives to discover this code using a minimal number of allowed experiments that reveal some partial information about the code. The framework is implemented in a software tool COBRA, and its functionality is demonstrated by producing new results about existing d...
متن کاملOptimal Analyses for 3×n AB Games in the Worst Case
The past decades have witnessed a growing interest in research on deductive games such as Mastermind and AB game. Because of the complicated behavior of deductive games, tree-search approaches are often adopted to find their optimal strategies. In this paper, a generalized version of deductive games, called 3 × n AB games, is introduced. However, tranditional tree-search approaches are not appr...
متن کاملComparison of the effectiveness of cognitive computer games and parent-child interactive games on problem solving and positive and negative affect of ten-year-old children in Shiraz
In recent years, research on increasing cognitive and psychological status through play has received much attention. For this purpose, there are two categories of game including interactive home game and cognitive game that the first run in the home environment and the latter is implemented as computer software to increase cognitive abilities. The aim of this study was to compare the effectiven...
متن کاملLearning in Deduction by Knowledge Migration and Shadowing
A method of deductive learning is developed to control deductive inference Our goal is to im prove problem solving time by experience when that experience monotonically adds knowledge to the knowledge base In particular for deductive reasoning systems where partial results are saved dur ing a derivation and at least some partial results are themselves deduction rules we suggest ways of taking m...
متن کاملSolving Deductive Planning Problems
Two general, problematic aspects of deductive planning, namely, detecting unsolvable planning problems and solving a certain kind of postdiction problem, are investigated. The work is based on a resource oriented approach to reasoning about actions and change using a logic programming paradigm. We show that ordinary resolution methods are insuucient for solving these problems and propose progra...
متن کامل